#ifndef _SCHED_H
#define _SCHED_H

#include "task.h"

void schedule(); 

#endif
